Semi-Automatic Garbage Collection for Ambient Intelligence
نویسنده
چکیده
The recent advances in the field of Ambient Intelligence (AmI) have raised a new generation of distributed applications with sophisticated characteristics. AmI applications are distributed among mobile devices interconnected by wireless communication media that allow them to interact spontaneously with other devices the environment forming mobile ad hoc networks. Although many distributed garbage collection (DGC) mechanisms have been proposed for stationary networks, such solutions are not well suited for mobile ad hoc networks. This is due to the distinguishing characteristics of mobile ad hoc networks where applications must deal with frequent disconnections and new devices may appear and disappear at any point in time. Traditional DGC mechanisms rely on network connec-tivity of the nodes to determine reachability of remote objects. However, this becomes impractical in this context because remote objects can become inaccessible for arbitrary periods of time. DGC in mobile ad hoc networks requires other criteria to determine the reachability of objects since semantic and context information are crucial to ascertain whether an object is still remotely referenced. Therefore, reclaiming distributed objects in mobile networks can no longer be tackled in an automatic transparent algorithm. Instead , DGC in the context of Ambient Intelligence requires the developer to guide the collector to ascertain which remote objects can be collected. This research proposes a novel treatment of distributed memory management to cope with the hardware phenomena of mobile networks. We do not focus on investigating a fully automatic algorithm but, we propose a semi-automatic garbage collection system where developers can explicitly assist the collector. Since developers have semantic knowledge of the object graph and how references are used, they could transmit this meta information to the collector and help it to ascertain whether a remote object can be reclaimed. Our approach is thus an annotation-guided DGC mechanism based on indirect reference counting and network objects augmented with additional semantic information that is annotated in the remote references. Such annotations describe the conditions under which the reference is valuable for the application so that when a reference becomes inaccessible due to a disconnection, both devices interacting know when the reference can be cleared. In conclusion, DGC is considered as a high level concern-rather than an low-level algorithm-that developers must take into consideration when developing software for mobile networks.
منابع مشابه
Semi-Automatic Garbage Collection for Mobile Networks
Mobile networks pose new issues in the field of distributed garbage collection. Garbage collection must deal with volatile connections that may break remote object references unexpectedly for an unpredictable amount of time. As a result, no automatic distributed garbage collection satisfies the new hardware phenomena. A semantic-based approach called semi-automatic garbage collection is propose...
متن کاملObject Technology for Ambient Intelligence and Pervasive Computing: Language Constructs and Infrastructures
This report summarizes the main activities held during the second workshop on object-technology for Ambient Intelligence and Pervasive Computing held at ECOOP 2006. The workshop covered topics varying from low-level considerations such as garbage collection and object migration, via programming language infrastructure such as reflection and context-oriented programming, to engineering applicati...
متن کاملNetworked and Cooperating Robots for Urban Hygiene: the EU funded DustBot Project
The DustBot project is aimed at designing, developing, testing and demonstrating a system for improving the management of urban hygiene based on a network of autonomous and cooperating robots, embedded in an Ambient Intelligence (AmI) infrastructure. In the final scenario, the robots will be able to operate in partially unstructured environments (such as squares, streets, parks, etc.) and to sw...
متن کاملSemi-automatic Proofs about Object Graphs in Separation Logic
Published correctness proofs of garbage collectors in separation logic to date depend on extensive manual, interactive formula manipulations. This paper shows that the approach of symbolic execution in separation logic, as first developed by Smallfoot, also encompasses reasoning about object graphs given by the reachability of objects. This approach yields semi-automatic proofs of two central g...
متن کاملDustCart, a Mobile Robot for Urban Environments: Experiments of Pollution Monitoring and Mapping during Autonomous Navigation in Urban Scenarios
In the framework of DustBot European project, aimed at developing a new multi-robot system for urban hygiene management, we have developed a twowheeled robot: DustCart. DustCart aims at providing a solution to door-to-door garbage collection: the robot, called by a user, navigates autonomously to his/her house; collects the garbage from the user and discharges it in an apposite area. An additio...
متن کامل